<?php
	if(isset($connection)){
		mysql_close($connection);
	}

?>